package graph.editor.enhanced;

import java.awt.geom.RectangularShape;

import automaton.TypeState;

import  graph.editor.Vertex;

/**
 * @opt nodefillcolor green
 * @opt attributes
 * @opt operations
 */
public class VertexModified extends Vertex{
	private TypeState	state;

	public VertexModified(RectangularShape rs, String label, TypeState	state) {
		super(rs,label);
		this.state = state;
	}
	
	public TypeState getState(){
		return state;
	}
}
